Automatic Verification of Parameterized Systems by Over-Approximation
- Författare
- Linköpings universitet Vladislavs Jahundovičs
- (Vladislavs Jahundovičs., Licentiatavhandling Linköping : Linköpings universitet, 2015)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer and Information Science, Linköping University | 2015 | Sverige, Linköping | viii, 155 sidor. ill. | 978-91-7685-918-6 |